(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 8.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       157,          7]
NotebookDataLength[     51072,       1173]
NotebookOptionsPosition[     49563,       1121]
NotebookOutlinePosition[     49899,       1136]
CellTagsIndexPosition[     49856,       1133]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{"BF2000Data", " ", ":=", 
  RowBox[{"Import", "[", 
   RowBox[{
   "\"\<//home//erikj//Documents//Mathematica//BF2000Mathematica.dat\>\"", 
    ",", " ", "\"\<Table\>\""}], "]"}]}]], "Input",
 CellChangeTimes->{{3.522557691760759*^9, 3.522557693171193*^9}, {
  3.522557742722122*^9, 3.522557837266386*^9}, {3.522557912606756*^9, 
  3.522557913900302*^9}, {3.522557979401466*^9, 3.522557982139184*^9}, {
  3.522558026248444*^9, 3.522558035532355*^9}, {3.522558234899357*^9, 
  3.522558236659408*^9}, {3.522657227023048*^9, 3.522657238215704*^9}}],

Cell["Needs[\"PlotLegends`\"];", "Input",
 CellChangeTimes->{
  3.522557718176279*^9, {3.522559369053835*^9, 3.522559401228686*^9}, 
   3.522559457409679*^9}],

Cell[BoxData[
 RowBox[{"NBF2000Data", " ", ":=", 
  RowBox[{"Import", "[", 
   RowBox[{
   "\"\<//home//erikj//Documents//Mathematica//NBF2000Mathematica.dat\>\"", 
    ",", " ", "\"\<Table\>\""}], "]"}]}]], "Input",
 CellChangeTimes->{{3.522557774615452*^9, 3.522557776047651*^9}, 
   3.522558084323664*^9, {3.522558245630978*^9, 3.522558250704475*^9}, {
   3.522657230011525*^9, 3.522657235128075*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"plot", "=", 
  RowBox[{"ListLinePlot", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{
     "BF2000Data", " ", ",", "NBF2000Data", ",", " ", "BFFull2000Data"}], 
     "}"}], ",", " ", 
    RowBox[{"AxesLabel", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{
      "\"\<Partial graph size\>\"", ",", " ", "\"\<Correct predictions\>\""}],
       "}"}]}], ",", " ", 
    RowBox[{"PlotRange", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", " ", "25"}], "}"}], ",", " ", 
       RowBox[{"{", 
        RowBox[{"0.0", ",", "0.7"}], "}"}]}], "}"}]}], ",", " ", 
    RowBox[{"PlotStyle", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"Directive", "[", 
        RowBox[{"Blue", ",", " ", "Dashed"}], "]"}], ",", 
       RowBox[{"Directive", "[", "Red", "]"}]}], "}"}]}]}], "]"}]}]], "Input",\

 CellChangeTimes->{{3.522558053284119*^9, 3.522558056948901*^9}, {
   3.522558087412001*^9, 3.522558110818592*^9}, {3.522558240833178*^9, 
   3.522558272525237*^9}, {3.522558321288678*^9, 3.522558436508231*^9}, {
   3.522558747462431*^9, 3.522558809441983*^9}, {3.522559094252253*^9, 
   3.522559159558626*^9}, {3.522559405070223*^9, 3.522559408190294*^9}, {
   3.522559484570503*^9, 3.522559485561527*^9}, 3.522559519461537*^9, {
   3.522574150865446*^9, 3.522574167210874*^9}, {3.522582768803452*^9, 
   3.522582769766265*^9}, {3.522583105650103*^9, 3.522583107063047*^9}, {
   3.522583189296659*^9, 3.522583190006122*^9}, {3.522583957235234*^9, 
   3.522583957768438*^9}, 3.522584139934375*^9, {3.522584282484628*^9, 
   3.522584313961803*^9}, {3.522657245195038*^9, 3.522657253726713*^9}, {
   3.522657292644235*^9, 3.522657294377979*^9}, {3.52273430441493*^9, 
   3.522734304992023*^9}}],

Cell[BoxData[
 GraphicsBox[{{}, {}, 
   {RGBColor[0, 0, 1], Dashing[{Small, Small}], LineBox[CompressedData["
1:eJxTTMoPSmViYGCQBGIQDQEf7E+W7Zsvpf/QHirgwLFGJirF+jGUz+Gw6uMl
3ySBR1C+gMNkCZYwPl0YX8QhY+LbGntTGF/CgUm7XezmOZh5Mg6NU527c57D
+AoOAhGWW06UPYDylRzMOx0Tnl64B+WrOEDccxfKV3MwBDvoNpSvAbXvFpSv
5bChCCQCk9dx2DT3/fJj3jC+ngPYOd+vQ/kGDvlCzQdOLbwJ5Rs6hDxeOvuI
wg0o38jhy98rFS/VYPLGDvf9e6fnCV2G8k0cau1N43Z5XoDyTR1aXwfukGs9
DeWbOczIA1lwEMo3h4bfASjfAqp/D5Rv6QAMDKCHj9sDAN4YcIQ=
     "]]}, 
   {RGBColor[1, 0, 0], LineBox[CompressedData["
1:eJxTTMoPSmViYGCQBGIQDQEf7E+W7Zsvpf/QHirg0Ds9T6j5wBMon8Phrgpb
41Tnx1C+gAPX9cUFtlwwvohD6WQJljA+GF/CQVofpAPGl3HY9vnvlYqXj6B8
BQew9FSYfUoO894vP+ZtDuOrOGjG9B/6qvEAyldzABquu2nufShfw0G+9XXg
Drm7UL6Wg495p2PC0ztQvo7DAimQDTB5PYc0MLgF5Rs4dOc8/73yI4xv6GBv
GrfLkwfGN3IAhcZdlWtQvrHDSzVDjjUyML6Jw2XfJIEIyytQvqnDprkgD1yG
8s0cdsiBHHgJyjeHuvcqlG8BDb/zUL6lg8fDKpF17jftAbbwayM=
     "]]}},
  AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948],
  Axes->True,
  AxesLabel->{
    FormBox["\"Partial graph size\"", TraditionalForm], 
    FormBox["\"Correct predictions\"", TraditionalForm]},
  AxesOrigin->{0, 0},
  ImageSize->{566., Automatic},
  PlotRange->{{0, 25}, {0., 0.7}},
  PlotRangeClipping->True,
  PlotRangePadding->{Automatic, Automatic}]], "Output",
 CellChangeTimes->{
  3.522558057718082*^9, {3.522558088081848*^9, 3.522558111396219*^9}, {
   3.52255824260279*^9, 3.522558273042224*^9}, 3.522558372546708*^9, {
   3.522558426184223*^9, 3.52255844005454*^9}, {3.522558790461908*^9, 
   3.522558810441682*^9}, 3.522559565407876*^9, {3.522574152273344*^9, 
   3.522574169350799*^9}, 3.52258311635245*^9, 3.522583190553526*^9, 
   3.522584141136664*^9, {3.52258430317388*^9, 3.522584314572185*^9}, 
   3.522657255643903*^9, 3.522657295683531*^9},
 ImageCache->GraphicsData["CompressedBitmap", "\<\
eJztfQdYFMn27+gwBHPChDljwiyKOecsKgYUc85gjqBgzgFRzLvmrGtac941
owR1VVQQySAZzptfVU2CaXp83/vft+99936XWbu669SpqpPPqe7uI2aNGz15
xKzxI0eU6zhjxLRx40fOLNdh6gx1kzKHQpGzkUKRo1I5Bf5NCoXmh9T/5z/2
+EGzXEMt9h9zM0oN9Trr6jh74qptW70mOHZ1O/9dkUrUnd22UP9m2MU933DG
ucf40V7e3lu8Jg7uPvdsiCJFfbcLeyZPTkqPa//2yr6/FtQvcqDskI1NT9wL
Bwgp0B2z7SY5HO+WV/0bv/3vcRVfWNd2uNmyZUv1X/N7TZqOyHc/RnJERQfZ
vtKzdDZYL/vYB8MfVLPfbfY5lcqkftr5ppHtqDyP4/TWK9n5094JDnPuRiky
iD0S1LBS/wI3ozIUXdkzudW/cQceD6kyovGeYIYdNkUCrKKTZB/pcXifPEVT
v5/fMWusr2VQIhsjb1psUK7gn+lSY3XMtlui1HBifWpqFyBpkf/SWrsru/yl
iCfKQ3FPgoZWql15RWCSojd7RlmQIq9/aWVTt+y2jynZLIo0HD5Bs8x9zIyA
78zBl036eHzdgukbrW+FpSrIJPBKgz4qI7CzzPzn1mcTqqytNuOlIoEoF/18
4T+latXaU178VPTg1JMvPcav2tW3sYp0ymgRdWtMYKXK4/M8iSPpRZAGKU0Z
JDWM4Nhc2OI7U5r1qbvmaax6OyXH6Gz0cUnwWSlhQcDy2npL/Fi7xGI9SqUG
H1nitHjTxF1b3LfNGL+gxoHXcWqo2ayHNMhs1kNqGM16qH/Te4adbvO0VN0N
5h+SJcfobPRxSfCGkqNR7KORD2zt95gFC7ZrbDsabMeXQlmIIm7OHrnqjSJR
fdVDO5fYww8HVdafixQYMX9LY330YXfRisL09hFXhrt29wpAc6O4R06vK9RY
bPk2UXqIDrr5S/XVH8ols6b57n5x/tApMzb6bFw3xanT/EthQFCQQl6Kffhm
kK3dXXsHh7sODs02dJ56L0dUBukpmV5+pzbtnusyuOPkP8IUaXxqUlA7Zt9N
ajQhOgulRdz09Rg+etSKXbt8Vwzv0W/Ksa9QBjKjSXWTGs05s25mXJNuH/3A
/eyA7hNHee46OPi3gzs9V7htKHgvMk1hxZ5R5aCMxK7B593D6ltXGDna50/z
kGRSVMwCC6SQ6vT1kNOWlhOvWH5NTMubEvvuwMkhtn1bHA8FfXJwSjV2jwIH
Vra32f8lTVGJgynN/pNfSqFWTfRf+rFO2W6FL4anSypdhsVJBqgCUGkScf+Q
v2vVgt7lR++sfskvlnGg+q5twpvVr7rWbLbIZemW5VsXdHhXpqJz450Pf7QL
vbrua/uSZSb123wxj38cBvp6/HDfantrOXs2PPr4R9vv1zZ+6WRTdozjzju1
vrzMAsN+54OvPQNOL/5Ro0jVPnNP+OeMTxcqonSRtB8Xn46tW+6eXdOW11u1
6bxhwNStBR5GJbX7YTikBGpRap34KHhgKesNDlPXj9zts+7QLKcxdlufh/V8
d3phePXCVfq6Hg8oHBN+9+T23qUu2nTeVOhGRKqCj10EO9w88rbbuqHTV4/0
9lnvPXP0mrx/x6a0DefTGeu445LnVbfab62rjR285eBvYw7sXHJ9cJv5hV5H
BPr4jGy7r9OwaUvmLV4yYfnWhzmj0imnwY5JKXcVpYQ3fPH4HRZB0thg23GK
ASqn/o26+WfL0v3tj4Zodkr9lzLh49Z6Z8r1uKOIoYyuP863OF2p5z31v8mK
El6/cK1dv9KqoGQ8m5vi/347qlr98hs/pOBa7368FIz8FH37fYcKLQtdiSCh
cG0T3yy80KTL5RwRGeor1lYs01CSKAnCblR692em9JtH3x74pFKDDdYfwrTD
QKXMDVxRz8Nunh8TvbpdSm0beu1g7oB4ssxIfPN4Y0PbumOexuuPbUmJ/tfX
t7F1HHDkm5ri02pHvbjV2+9kh0dlGzHZCeO5WGKonyoyRbNLpUywknKa8Ize
Tpll3inev2Te9Njncw6sXD5qw66DM/evqXeqQq/72WxUQ2bSGG5UshSMrBtV
OlfGT7/jW/q2mzBr6163HZ5edoeexzAhk2k4KZAGUkj9XOWkQI+PNcv2LnU/
WHqz+NiFc2fEv97gO7XLJ7sy5XY1GeVjFZCQkXlcm5QvB/36Ve9UfseHJFjP
s96trvW8qN284dt8fcf67vA4MGLIDOtLYWmKLDslbYLlNOEZMy6Q1f87gB9L
A+4qvrP8mM1DDhzwnrNmpXepa8FJxZNDzrls2O2f42dG6uDPB+1PVVSvTixf
xdeuNWrUdH2VYJaRmqaecZZNezm7Fptt8RTjMPQ3jVN5Gcii/iFHHe6Vbnoq
5/d0qv3zxbSnNep6WgQlZRlSCjVs3PuBFewqeQVhYTM6RFzu/aaM7dxifqG3
P3Yo29BmH9vQBK/XrjWX2C1+i43TMVlG97CzrY9W678//+vo5MqxgY9V4SkG
symR+O2mVXBCaucfF0ffrengkevFz/Q2kdf7PqrYyAcCzDoj7PTHZmVbFz31
PT0rk0laizlNeEb4EwruYnMJmM9IW14Tn/v/pe+/CZf/RF9zA57VyNmMxrEP
ZwRWqzyy3O1/bu9bMWzI2EU7dv3mPrCNowtXB80i72z061m9zrxpHpODmlVq
PW7L9qUhzYqXcxvs6VPn+LNIh/C7O64Nb9uzrPfHlILpkXeMwDAiaEuVTPl6
/MT0PiNGeeza67XZtful9p3Gdlh+OaRZmMFwHase979lBGRKp9BLHgGtqtSf
Mnfjdo8180a8bFOrRc/Jp0Pyp0bf/tyhdPVJ8zdvX7F67tCXzWt1sV315ief
feHiqSGnN8+Z5Dncx3f9/ulDPa3eJqQ5ROpm0CryRs/1naZtHLL3wI6/Z9Yr
utZ2xgPzmOSvK0/NGTJ1xoY9K7fO6T/FeePLHPFqRW5gs0h6Rsrsb/+XPf/9
uPzn2NMiE3vCK98T0qB4Q5u9XzSek4XaHYzYd3lYp7I7udpUe1LJVX4EBJlF
pWrgKPVZTvQDIWZYpCals6v8Bs+1zn8zWouXAby8BkQu5Toqs7/9XyL/9+Py
n+jLhT9z6ZtG3DvoP7tqwW0Vxu8YeOQ3793LXDq7OXnehzOYi1OTTeKXP/P5
xTB6hUkT4FylVg231wkcCmgqrWbcK9/PjUq3AJmX1GuOfbXnU6MyjKoFHvoA
NERdxwiKvYy09f4//FwFLaapVaP8H3S7fO6q+bdkvQlomq+pQlOojDSyujiJ
6n/kIfbM//Qg/8aH/jvx/+uY/Bsf+lesDpcHJkU1pZKaIgZl0kD5TAnGCSDG
ElnZj8HtiuzDRByQVKLMVPgywQ0J+CrDHVdmwVrG7/7fw5qvvIzPgF+DJMmv
gM7ekFMZzTiYBF+ShFfzG2apqdT+yhWyTEwkhatMH0/2Tyvz5GTqfPEi7XZx
oTBra7rXtClVeP+ePTJzzRoq8+kTKWaaBMts64QJdLNlS5q8aROV/PpVTFg5
z8ODLnTpwp+fYZTll3EAQLzn6dN0YMgQWrxkiQhUKnOma7lAu1KqlBR6Ubs2
DT540BCoMfyW8I0p988/9NvAgRSdPz/dbt6cpm7YwPDkNpGy4ePHFFqsGBX5
8YMU02VALuBkmj86mi255ib6TtyyhYqHhGjNtFWzZ9Ogw4f5M9Nk4M7lqFYJ
CGDLf71NG4rJl48udu5MyrQ08pDpPpv90xKUgJ3V3PyjY0fyHj2aLW6euDha
KQOGL6jKOiyMhhw4QL8PGEBRBQpQ1/PnSQTPlH1OnKDNkybxTlNk4PHVVM1a
vZrN5nTPnjTa25tKBQeTYHglVvJz6dLU/PZteXiTdESwbvp0RisiZKAsHB7O
GQBX5Xhb97NnKaBKFd4+2SgFCohY8z9bt6Yar1+TogpvOzxoEK2YO5dDnCSD
2UR+A2T1vWhRqvjuHSmq8jas5oy1a38JzsHBg2nZwoX8xjbT+tT/6y/K9fMn
v1Fdh4/24fEycLbzGwUjI5lIAC0qJsj04TCVjR8+JKuEBH6D5/mV4IdbLVpQ
jowM+bHH8Rvgn/DChana27ck8sNMDNxp1ozGbd9uCEe3i6L3Xmdn8nRz42Br
8zZAAnezlRgng8VYfsP+wQMKLlWKsYzmYayuViCNNQ0OhGr/o0f5DW/T+kBY
aW/U423dzp3j0glXo2Xg+PAba2bOJFCwSX34feXA336jfDEx/EYD3oZdDaxc
mcBLsnBG8RuQqF9LluSwGvE28PcXGxv+8CgZOCN1O/+kQQNy3ruXFLw8TQll
o314pFFqEL1H7drFxD2jP9FbXzga9DaGhYsOC0iROs+ekcLXNMzzxsbqxtnD
+5ieOo+VqmMzzV74hYyvVCmY9EDDdYuycNkyziL7+Lim5DAF3LL6JVTmMmNh
I0EGjP2yjCVthIqgRuYqJcmpOfMbBaKimMRo8OQJKfZnmZqkdaqLoRgUAWWy
eYfyQTZOmUI7x4zho+/X3zdJE1WXmZIsspHetmH8Ru74eGY+QVsqDhgMKxOH
lKx8kVlNxn2aG/tluEefiiUfGsJvQLjsGzaMYPMoDpnWZ/u4ceQ7fDi/IdfH
ie8n4MNKflanDlu2w0ZlDn9YCYvpfNeunC1+M2kAZXU/P2bjsSu5PgME/3z8
SNqVPSrTx5HfaHf1KrNNmBw7JtOnP78xYs8eCilenJrduUOK4zJ9+vEbsFuC
KlWiyoGBpDhhWp+xO3boNJxcn946EaS90ZS3mVNysrZN333R7ZSIHsLBASfU
evmSFA68bSatWVON3r7N0tsYFj35DdgF0GtwKjRw8lJs7HcqWhTwFLNk4Igy
P+j4H0WKEOxrRTPeNp/c3T9Q+fJ/UuvWpsI55OREsF/YFcdHVZAiI4FPbXrx
Ioby5ctP0dGy81vD+7rT/Pk7acwYXJ2nrl3709Gjsn15bZ4SVL1yzhxue7Xg
cqQoff/+g4oUKUXBwWgZT9u27aehQ+VA8hJLMyhwMNnlDh2YscuhWqylGTM2
0NSpmj5l6NOnCCpUSElpaRK+p6gVhn0Djj3ZuzdznThApQ19+QI0i1FoqCa0
85Jq1WpGd+6wKzlHUdQKw6WFMc8YvKWQQjRu3AqaO1d0Vf/mXElz5sh5s510
hKsVFwLb8vThQxhZWxeiiAiNDnCgu3eBsUnYtuc34IxpTaTWvG0vOTsvpGXC
VResR+npICgssyzsdvwG2Ptp3brccxewwWyhVKwYGEZjBmA8EAW7knOb2/Ib
cBte16hBSxctIkUb3vY7DRgwm1at4mTH20C8l6lDB5NgCzhwVv2rVqW5K1Zo
YdvR8+dfqWRJK0pIYBqZWNovOo7y5FHbBHEGsHUkJ3pjBaatX8+HEm1nqXv3
ibRlC7vitUBKsH0vOsWruabKYLuC32hMDx9+pLJlmSC00om1XTRqlElwBI3W
+/tvGu7ry2+IHbxK7dq50O7d7ErArkyBgViJHJSRIQtbUCvEEwysHmfOaGG3
ohs3AqhKFbUVksrqm9Vtb6latXr099/sSoQGTDeiEx2/HJl2sNfg+S6bd3tv
9prUb8TEPYE5EjKyMZKa8xtwVYBfxz/+0DqhTJBoHrbmbfeoadNBdJgbBALn
NTRz5hJavNgIzibY44mD3h/eUuxSKKtKLJ/yYeOnOmU6F7wemQ3OQlXUffqU
KffWf/5JClsuFEGJzen27am0YQNE7GuqUSOKChToSufPa+bQmS5ehJQARyvy
8LbW9Oeff1O9evpzMMW21xnAGQ4xd8f6Vak+Ldezn9IWokAdBlbNV6/4DV5m
nDcfxcS0oFu3ptO6dQdoyJA3ZGsbS3nzYsk30eTJzrR3b0169QriOJhKlWKM
XpjDAykC/Z50+rQmjape4xRMvSR9/Zp1StIuhIjdqn+T+3w5sW3Mzp3LLzh1
mVrm5CfNdCVt7dwQCCBrsN9hGjTIn6pWhfa9Q82aQVcNo337atDr14y0xNpB
K/5F9evvo2HDLCgpqSAfoy8dP/6IGjViXCbCi0epf/9RtGsXu5qcZZdMcFOS
3AI9662rPf0Znsnkpgh/ecnixQQLh11xOs6Vm+LjgRBIKpAqV8acblPz5utp
2rQhdOCALb15gzlxjjBTr+fPI+ToiK2DNhVVEiA4EGRH+uMPTeUEVuQU9eql
PyXTnaI2EdcnOroc+aqWA+mOIUfsb5VucS7Hj+z4vYlOwkcUKkSFIiJIYcMl
MEymobR/P9AB4UH2jaPt26GxgDrfGDNsyGJasuQTlSlTh549E3uDZbhFLbi8
E5ODbo6m/PmxrZkmJ+N6WaeG/bF/0dApLmt3bz05p/cAe/cH0ShkkZvX+mnT
dOGw4nyhilNICOYBLYh5naEePcBMzHIoxvv1o2PHoN2xyRqZALn8jipWhDxR
CKoEIXegy5fZlVxgUxAUrACYuUW/fydFUY5TOfrnnxm0di3gYYWguaGpmVXA
98OsLj19ikWGJYJFF7H70eTt/Qd15McsBFpzaOXKbTR+/K+gNWzfPtowdSq/
weWIBeh4AS1fDlkSToUL76ERI7rRuXOWlJioKMvRwnLepyZNgDKMAaG5scfA
tiE9fqwoxNtq0cuXaDMJLbGDWjtPR0cWZenjR1iPECfQvFto4sS2dO0a05z8
sIcZxgd7QpRApAgTZQpt3KjlLyEtgRJQY1cTZdDiRrg5GGAybdoEkxOWdxO6
fx9t1Xg/V/LyglCGLaKRkpAC36hECTZUEd6GTcJmZRlaZzGJ4CHcaYST9dbB
rCr5+4NiwGdVKCBARJ2xQ8DLiQ4d0nC+G3l6QgKzKzE45A66mzRvgQayBHA+
uI7iqgHLjklgzAm0dSsT0Tz2bAnpDqbBdjEFS6xwMxrMBcPJWkctoHvGg3Ko
NOQ3YKUjxGr3/LkGFTMIIBDrRercGZZ5Xb5bRejHj5vUsuVp6tkTJgHMk93k
4iK4HQQBwcuu5ML9YnS1HmROE7vKraO55bRgAex5wOPxYxU0L/xHGBlwqEC+
GkED9QU19itDwxRveu8ev8GlgJk9PXgACwGwoGIa68gdSoldiSFhAMAQAFqm
Dolgi/YG53AzKEHABgf2oRMnRPyB7b7mUTEktgQmFbuSy4Nw89usDV2//p4q
VIDMgSoS4RhsHSzMLKB0HFOfP1nV35/rMyYzOFCQHvwAhBRA/iKWBBMbprZJ
+AnwDxs3pn7HjvEb3Lky60Fnznym0qU306RJoLOBuiXBKlWioCBZ8CJtBckB
DcCCDTnZrwW08RjauRN/695O3xmyqPjOsRk7dsK6VajA4gol7AzIRealD+aw
MGMWiMGVXAKIW87MvwOxMuJklpbCAvIUhIy/L+dtxtwIaMX+zcIOKk9yc1Mo
p9H69Uw9AIoYHx4cC+CYMr6QoFg+bMlgOnhQ47siqfJPuXI83jla9xx8ThbQ
MRE25gH219s6pc2XL9Ti1i3+8BjeBguBrTyu5BJeItUJS8KPqleHtBc+sBJC
ET69SXBE6hVWFgQqBKjGv0boWvuwSJZBykGYMuGqD1vHD5X5k1DOEEEjycdH
AxH1Dp/KlOERD5HIxDOInOithDS2AvYOGjv2EDk56fEaizR7zJtHOqZiMR65
+XP3RzmAfv8d3jCzgATEEt++MSuVhUm55FKCzrUxHjlsuW2grEjv3mFtYVFp
Ig0oVYC1yK4EbJjwCKGxGI8cbF5+ycKvsDmw55oIwXx3d57wx9VEHQ1qYzzZ
JBWTeBsi14zscSVIBGx3nPr2ZVduvA3kihilHFjOnyyyjziiX/Xq1OnSJRIV
DrZv3lCXCxf0ZZsSviTkcQGKilLM4W1gOvg+UAUGo7HBfrIGy0VLl1L5Dx+0
lNv75EkWHD/XrRtVCgoibpabgRSRzPhWogS57N6tcWuQ7EQJjdOhQwT6x16E
UPHijejRI836ouoG4XN2xV1bw8hRNsnWeN42Z+VKelmrFiH8pwl2gilg74z0
8dEY6ipkHLaNH8+qAxAOY1kO4aQgjor8MSYWaV0wNSzQuuni2CVrBZYWSUnM
XmHJBx4nMoxLZYNlnNjdo0dZpQgjJgEW+6SlDGFoQy8hh6fPjhsSps558bF2
d8ukxAxNxQisCG0OQViKMGxQc8OupuqEERSYHJqxvA2lENhGlljgaJph9ijp
0VCaiEqgMmTtjBnk6uWlDSDBoYJNXpjCwwWmKihyhE4xey9XVw5azAKzB0Gx
+hkeilXC5tSiJbLcv3Bwm9EwpUUNe7xvwbd2JYovbLvsLKqmjTrSYtag5TbX
rxtYhBpaP9WrF6N1cUode4McUWTBgrRj7FiCYBOWnLIEffsGN4EpcO46WCA/
5j5/Pn0oX552jRrF9bSaR0/06aMpAVNqjaIsM7YyqdYyp1Z+vX+0rlH9Ku4B
2cR3NA+rOQScwyo8LHUbjcoRhP1RA5RbJ0uvU5s2c2nFCo3MBTNpU148uaPU
mol60/iFk8FqUytm8eMlLotmLl05f6X77M9dS9us6jB7fYkz35KNbl4Ub0N9
FCI9wF74RyqUjGm4A+2sokHMXIu2brOVi2jpUpgMTBUv5m3MyJacjmzUrVJi
0K5R03YFmSfK7EokX3ysKHIt+MO/uYdrjkTx/SZNGAe5eXoylQ8ZK+IyLenm
TXirLNPzLcuaS8bRdKHBpGHv982p7uvn92itPpIsmBbOB0EWDAKAmRrWOnRR
H3i8b1/m0Qh84K7BjIYLoAjRJ2W54lU19X72ODZv/suxtRgaxpYqgrehlkor
8YVhCEMdruNSWrRIEWowsFSASoxQLDX0xDuninaSGxShk8xaZ4rrcRUSbTAF
blCrVvhj0dBQaSnLs28qKAEIkfcVKpDPyJE82cwVvwViDEidPqEGDSKpYEG4
/o505AhT1N+lQd/mk2158yaTTVC+Te7fJxgwrW7c0Ng4GBlFjFy68C4IAyFC
CIMEjABXCLqaU6Al5oRI8DqaPh1WBOQ7vKR2dPUqeCRcGicuDsyLhYbS+G3b
tFyHCkhoXxHMhRKA2kKlDJhZWDLYXewy68lRzQs3DDggr4tAH/57jrp1A04w
965R27aQpnDh4QYxHubS2QILCGcX0WlExJ5RnTpwSVmSJlp6Etf4nkFFoQ4X
ViwEOSsYFEoBCwzTATkMCHuWMi6hE7RgHjCRRvHXp7/+glJmliZfhdyInyAS
BrsCSYNXVLPmT8qVCw44PB6ErBC/ZEacEJngegQRsQSaOC/iBixMEac3JTaj
q3y5UWf4qmZNFpLCGgt1Dp8bdv/+oUM18VatTDrTowcTp0L4A004mNgBIUHz
IICClUSKDTkOxNRhX8Jdh1GNsAUcXKScMIUE6QW/xBcVLiOoWdOOyk5N4ge8
iAQck/EiFohwI+w6VkUqMIUrAkyZatKLesONQIYGJn+yNCbnOSaACEvyr/r1
mRM7dP9+zRKpYMM9sLdnVYYTtm5lhq6w26y0Fb2C5mFSoCZl+rp1LNnLamSF
BsK2gSQQBuOKuoA0Xuf42LBFgA+CWcCDrQYPOedGmvKIoyMz5pilq27Ffx81
asTqAUGqyebmTJ8IcjIH7jB3UGQEhwoVyuA+K93CIVIA364CiXL7gnKrx2pY
tW08gGzJ9lK0gf1hdqJiF7oZsxBbhfCkLw0f/pgaNrQmtb2J5kLSI3KXgVmV
sP4hUEQVCUvkgE2g5RF4YB0KS4Pib/gxc7h7lxXawNOCScQjZWZgVkTO4TiD
hlifIpkZ7riOi2AqYiugMgVGpenzZ4QbEIjD0jIY1tIY8cIiJSBoHQQRuEMy
EVqXxZHYnWLScI7wNugclMmzK5E7huGKiASiVRxOcWk4vNiLlaDA/EJeBMQi
QEGJgPOQouWgSkiD4kloM6SsYXIf7d+fiVCuZAtCtCDyCc0IRQRHGUoXs8V/
R9CePWjrRJcugdEhXeH2IDOD8COLaQlXGBEUzJBF99ngJeXQUqLaAX4Pu+LK
qRJqVjCWBhdkduDUQ3LDDAHF/kPlykEqp5BKBb8XEh2h7BPUpw9ib+AlVNMg
TIoo3SXq1AlGBMQl4oDoDwsgiSwsgCL+DfcCCvAp1a2L5/AM5sqQs5Geyn6d
MtKe/CjLJTc2GzulQQ0oQa8ie417XejCBSwXZCYy25w3Ya5nYHWxM5AGEP5N
6d49ZomyAUpJo8Pj9VofCwIM4ru0TtAso4UL4QlqJ9ciM3f58ocbPXrECuxh
ILe9dk2cjmUBfWwGuBRVW3rxaaMYMWg5YVlnqs0rpeN46LRj1K8fwnHsZitp
eDyzzXI/rGYIV+U5KCRPkHr2IldXLeO3lga1k0t7YAX8EIhAbTw0iuasCBgX
JAZjQL+2yCi8HRwNhEyf29nRjVatCAUz5YV8UStoRNh4bhRt7eRAsWM12Eu9
WSrBEajl4ek5tLWXhsMrh5hrxkoRcSWygRCv0AGgdjjY7GaHzMSwSbdG0K4Q
RrCAmU8oTleDWBFaQrESbEEGqKM0Tht5N+R6If2xTHDcBVrgBgS5N9KUKbCQ
WZ9OctCUHS5fZiY5IzER00QCEnwNC0+/AtEonHW8DRPTkqmI5EIWgZG709mz
HA53KX4hepIm+b5YYw74Wt4Gxf13vXrU9/hxLS6IFXwhGxvIYo5LNwNcTIhr
SL8J1hguPEOixGELbD5MMbHx5hAFsJyRDke+FTFnKF/Wkb/h1qQ4hVAhBi9L
NYbKKiHF1JyNSArCZoh5cXFrBdJrT1euQMABG2RAUB2zmmbNws6x7AMD1CMz
anIxB8kXserKY7w4vtgq7WkrrjasEBFGcRXE0gOyt4+n3Lkh8ZAWhTBgpYGs
R58sayYTZ5B8I6qx5eMZdRZh0pYCCxRhA8KFg6aFBoSDAZcPXisiIayikfVw
1Kc2mVfxGL6k1MIISrw80Qx+LA4lXm3XjjEft2gsgBEMOWTBEcBHBQF4mgeQ
8IyTATYyBTNSr9U0tlb8ZKUZpArKuGGHQY8K3wTLAW0OgwHGCi8DxL1h0gLG
nbfB4EEsEK6tcGXNYGbCiEFIApYA6zBcFhQwYkc2cMVRU6KKB1oGtpv+eSWj
cJbyNoRSEdJgVwIlqGUYLaAG1FSwm9kcjVrC23BSEicD2AlXAQoiAgoLxAWR
wTroR8wZpMU6XGDPI2mg8ZaxvCingiJGIQcDkE3uaRFvg+ONlWaRWAEK4gnC
AWFXGFisQzbpNwEKIfluYmCRwDdDJgVVDfPIwwPhTXYzm2wrT2uZwWjeShMm
wMAEMbOb2ZQczOdtEHRnu3fnuklgUJ38/CBz4f7D9WcdsqkUEWVohX+GJ2jb
RIITCRgsO8veiwoF2DxQe7ycEG2TpWGLYIf7k/mnwu8X7sZKlARsFKECNjNk
uB+mQiBlOPn6wqR/QbVro6qKj6F/2JcNISDnyYiLT4lVFfLc6vZJJLWZ1Y1Q
H6LSIs9jiV1FghyhHfAntgh8hQIBrD0bJJuSZLFIe+JHTIpfn3s+giWa4bSH
IHUTtoQJDPsA4gC+BQJgiPdNos2bsT/s4WxOMfDhzJDSjkwsWCLQtnIq9Ic4
MsnO22se5TV3VjC3etPJkzCQIDTgvcD0QpUBQnO8pAjPZnPoX0SVUeo0/607
96fFIUXoBqTywIkixGeJIyII/2l0AzwqFNeikk1rpM2THQ77glAauxLnKBEI
gGHB2IsPp4Iah+EGwwJpd1bExiAtkhtDBQkDAQhnAA4CO3vvzJ/HeSWMhVcc
aHJLiGTBoGJFeQzSUukxeOhItYpmz8ZyII2LACs7cyWOoiA2hcw0SiyZMcma
zZEgRegHpyMRIISAhKMhcifQgBZCNGpsH2SRtO6xCHAisInIHz+PhLZlmflF
4IiILtYhV9rPJOQ5mPnPrXJzxNwudepEsXnzshwI4lGIWApckVeGsb98wQJm
7CM6C4YWtxHZQoQrPndulntEGAezFjWhCP1Ca/OjPGhbLr2g3OdVgShAHEh4
g/ZY4bc4DYI054DffyeIc02qCROAqcXiNYK44BGCX1guWeQaQZsQtg+pcWNo
NDaouyw6KHHVVAHiuAMcC40GwflPeHdwi3GaWiwKDmhjX6G3kPGs/eIFIz0e
BTGHXkRUEhVSeOEEgtpgNOG5whdDsSiKVrUuVDZvdxA1reAL8AnsB6FtVYih
YgkdjxxhNdrwQDVxSEQMsaGIA8HtQhYAaRJxG5H4xw0bMtLAgTGcREVYVSw6
wnTIlLG3FuRETlxhpqVP9R9omBVlKCwRO9AWiKv/IKDx0gSsDIS28Bxh+WLr
IZ+10b4V0tMWqXxY+KhvZVd6CW/tcyJwjQR6dSGChfQ0B5kjKAoRgCgdpgFK
EmCwQuBc5N8VOdlRXLNJmzdrQWOJlDBTFUoErRcsX85v8YiaGdLziFAhjaO1
CbJ5vQafkIXmXBpLRalbYG68rVaNl+oVNDJB7n8qoUXhK8NM56zmJT2WyHsi
VsvKnUQ7inxwyo2LDXbCByF3lpATw0CPwVxhWRXeSW4YCzg8yLRp2rHrOCvL
Ckc09fDq9QepssONYiwExGDnQSzzsVZnFnBid7G+MCsb0JMnGirAbkPAo65A
IwOwcJC8mBXui4EQ1IRtAF2jf7TR6KREdTBMPR8aOVKf8GDHaz0+oVMwWaSl
mHgS46HyGLzKinTY02tlx0MCEeqdpaaEHWRQ/M19fyUCHMjU6bTCOmnYItOD
eJv2aJnw1yClmMHDJAlvA+tCKDDDs5uOAUF3sKb5eOv5eL9QTqJ24kK8zrgO
nD1plff8He5jZ7usYq8kNOr5C5yRH4PJo48zGBk1IMw4421mwBV5ILSjFJqH
fVRwxLFU0E5wwFkxDRtggwH6ptSGNI25N+xG9Va/K0PSSG1Wvnm+0K5O1SX+
xt8CLdBHTBI5HlbGwp+z3DJxIs8Mimchn2Dn47UziNqJAxow+lDPDJsZFYNQ
Fghts5JNFTuJq0SgA6FvXnTKflUIFyGcjz/Em1nInuskFSwe9IfkQekdgsx8
OXjQ71ffPj8/wN1ue7VxzxQ/2Zcvgh/vaVi2ecfb0UaXhNeOKXHA4yANHqy3
oxbgJkg/mCFoKf35M5PJTAJyiZkPmg8WHgI7s2j1ahSMYUth8YBjEGfB3DBv
iBKY6MigquAGKJToolkWfhBAYYlyfCwajDvNmRMwCUL1sB04T5pDZ8EzQvoY
wWaklUFIDNUtmRfOlJfBJ3i+dqvywNp+o2VAIpVM/fr7P53LNayw/r0ozmHh
JSEQMBASvqgG0Swr9Oy1tm31jeC8IBc4l5gy5nSSevcGwyaQlRWcogvUpQsM
WKwG0rWI/2jO3eDf6IeDAbD1EdpFNTUyMwK+OWLPsKvgHsLbQcmCNuK+LQv1
mPBa9dQRwXvsD1VzOjBx35ZlB6cMHuo498j7HIkS57SEhwqqxVZyrhdMpv9m
CeGkQcZj2aCQQG0oAwFFYBrwF3gE0RIRQpR0gnAws+dkZwdRh1grZsdz3+bg
IRDFXXJwQIkQtK82lrBTX5LIvaq6QvL7dXeaN9um+pgCjglzvr73gupbitGI
lJgy3CGQHTtSIDQhInRQZdhxUbbDikuws9hlpHuQxcSOocIfppbAAEdk8Aj4
Bk4dpq916HYZzEUmuqZGKGFYwD7XWbNW+8zevWr09m7jDqu+GJ+LiFUhdgHK
YVcFdfMDMsBdnLLNBecYqhfRXHAl4h2Q4wjiYN6gcG3efI+05hPDwozR1ggL
swdaGdoZGkbBT8iosKdjaccO5KKRvGFH9BikvbJjIIoHikNiReOgIJGHFCk7
28iefisNRxS5QLLDC9ajZnZkDBUN7MAue9pfFg5IGBaC/oFexFwwZ4RZOZwA
PTgMDNcUSpi0CLzx7eBtkL4gKpRQ8d6B0lgIOBAr2kps4dFi42DG6VLjQbJw
wKjQWqwcR1SkwBaBZ8yPoqPtnTQcHvZWIoTiQfN44EJkIeC2gsEQSOVw3svC
AYHCaGWBaU31G4WGIiDEDqKwpz9IwxGVWdBgrPZHpw2VEMewefhhFbT9IwsH
tibC9+xK2KlQYRBokH0czsfMuy0kNsQDWBCyAS0wmyA5WQUg6/lJGgMuLFTI
deAMII4qIFPMrBH2xGe5vmaaowhYDdTGsZvB0t14Ylp5hdq3h9/FD1uZ1gc6
TXc4S6YP+2U//2++zvZf+9C/YnU48eU1tRLeNvHNgudqbrJ8k0jSryozMoCp
L/ktkfbtsF+L6s7sQ4wmDfALL1pTq4GwQ2ec2pff8iHlV4HLvVlNWS75H1+3
MZ4vMLhezbMOpDILvjKvJUCHlP6fj86vtCcoUQ+Q4ScT5F8GkFY1xj9QGcut
G7UZF7hp2+Tf+ae3tDDzGMCUMnp0MDM6/7jY/a/69ZvedWBpxSZqKrGrusw/
KStMXYPJn93l1pzxT/jpHuaRDvGCD8MP9GVBQhQSEKXbxT7ffXj6oJEz5q71
dt6712f5xgUuaxxnXsoV9vPT+t+m9Zs3xmPHVJ8Nrr4Dh6/N9zgmOdPX7jJf
p1tRQpYvzuWK+vnO23d0q2MO/SYumrfU3dlr72tVXIr+h/mi9F553Ai4Z/5S
Xu2tL6LahZk0VtBeH+empxr3Gj9z4Zq1D1zti3tXGL2nz5UT6zQf/ssTESeH
j8GHAnNHxBtdC83X9/BMgR9Rb7yOuVZ9aV1rWcUz7+KaR2T5Wl+GvpnGy1Os
08LOfOxftmqT6fdjUIiBNjVbhnv8Oc+r151T3R6Xa8g+WKVujzl4b3ClOXYr
A62SDD9SlumjZeldf5zP/DW5V70CT3X0s6m+xNKPpb7Sq8W8vVUoJEL3sT1z
3cob+/pd/g/RsmP0DjzZ4VWpmh4W/iyDEX38dt+KIxrtCbZK1eKXqO6XPR6G
80nqGP6HKWuQ0Tn8YosLFbvga35Gv8BnsPLsNYx9Qk80f128hodFQJIQRcVU
GSkxswNW1T5bpvtdfF0OMsktyLPW6bI971nFZLvoxr4MN8lri2uN82W63mGw
hAFm8OE8vug2Ul+xK3r/u6ljaPCN3/2Xi+0Ie4NFj1P3q50JjxLZfMCPPW/C
GugvOhn7mp4iy6onzw5aVfN+sSYn8d04vuqQ/xntI670eFzecJtd63gFWSUb
fk7OKsPgOrVNRJZvurVy9D3S70Fl+33KL2mkdtY+DTpz+E7+8GjtbPUo3dgX
6Ar6RcoO0XvfycFPqjTYCo9d3Tdu/5OhVfFWeCy6+ARdUquoG47ZoaFZdM3z
MktgW2f6MxwbTXP6doh/RS/G+Gfwsqw5vm7Z/rVNDXdQuviUqdq4D151bPYg
tX2zZ+K+LXN3D3ZZl+9JTEqmr4+167P7xHr9z4PZnPwSnPnbXKr4lNClFxa5
TJ21wXfF9rk9drQfu2/Ak9+X6321jH3TUbgyeP+C1OfEvmT+HJmx8cziU8Pd
bniOnjtphffI/T4e75wqWo9osOejQ5juu2Kw32RwMviSmtR6NI+8zfCZMmuj
98JNy8a/7FzLoc3U6xGYj5Fvm5EhxTPfNn9G9L1Xk2tWd5h2N1rzSVQlpX1f
cnXxJYSNNSEdg69M8fiBuT5D50jVfSVKHH7M9sNUbKAwjomwU0olB1/c7DVp
6uSlm3Y779u7a+W6OYM39phyPWdEujZkof8RIIGauVV6QsC5Y90qQJjnSdV9
14dzkuR3g/QxEEX5udPj37V9fO18hcvvf0LdsUeSTDWDFDn+FziB7ok=\
\>"]]
}, Open  ]],

Cell[BoxData[
 RowBox[{"\n", 
  RowBox[{"UnPSfrag", "[", 
   RowBox[{"PSfragExport", "[", 
    RowBox[{"\"\<PredictionFigure\>\"", ",", "Predictions"}], "]"}], 
   "]"}]}]], "Input",
 CellChangeTimes->{{3.522558051224754*^9, 3.522558051232683*^9}, 
   3.522558393403528*^9, {3.522558891061459*^9, 3.522558903750489*^9}}],

Cell[BoxData[
 RowBox[{",", " ", 
  RowBox[{"PlotLegend", "\[Rule]", 
   RowBox[{"{", 
    RowBox[{
    "\"\<Algorithm 1\>\"", ",", " ", "\"\<Brute force prediction\>\""}], 
    "}"}]}]}]], "Input"],

Cell[BoxData[
 RowBox[{"Theta1", " ", ":=", 
  RowBox[{"Import", "[", 
   RowBox[{
   "\"\<//home//erikj//Documents//Mathematica//theta1mathematica.dat\>\"", 
    ",", " ", "\"\<List\>\""}], "]"}]}]], "Input",
 CellChangeTimes->{{3.522573500354752*^9, 3.52257350801725*^9}, {
  3.522574117841346*^9, 3.5225741189864*^9}, {3.52257528607688*^9, 
  3.522575286716635*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"BarChart", "[", 
  RowBox[{"Theta1", ",", " ", 
   RowBox[{"AxesLabel", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{"\"\<Edit operation\>\"", ",", " ", "\"\<Probability\>\""}], 
     "}"}]}], ",", " ", 
   RowBox[{"ChartLabels", "\[Rule]", 
    RowBox[{"{", 
     RowBox[{
      RowBox[{"Rotate", "[", 
       RowBox[{"\"\<M LAV\[RightArrow]CORR\>\"", ",", 
        RowBox[{"90", " ", "\[Degree]"}]}], "]"}], ",", 
      RowBox[{"Rotate", "[", 
       RowBox[{"\"\<JAN CL\[RightArrow]SHAFT\>\"", ",", 
        RowBox[{"90", " ", "\[Degree]"}]}], "]"}], ",", 
      RowBox[{"Rotate", "[", 
       RowBox[{"\"\<M LAV\[RightArrow]SHAFT\>\"", ",", 
        RowBox[{"90", " ", "\[Degree]"}]}], "]"}], ",", " ", 
      RowBox[{"Rotate", "[", 
       RowBox[{"\"\<JAN CL\[RightArrow]F LAV\>\"", ",", 
        RowBox[{"90", " ", "\[Degree]"}]}], "]"}], ",", 
      RowBox[{"Rotate", "[", 
       RowBox[{"\"\<JAN CL\[RightArrow]CORR\>\"", ",", 
        RowBox[{"90", " ", "\[Degree]"}]}], "]"}], ",", 
      RowBox[{"Rotate", "[", 
       RowBox[{"\"\<JAN CL\[RightArrow]STAIR\>\"", ",", 
        RowBox[{"90", " ", "\[Degree]"}]}], "]"}], ",", " ", 
      RowBox[{"Rotate", "[", 
       RowBox[{"\"\<JAN CL\[RightArrow]ELEV\>\"", ",", 
        RowBox[{"90", " ", "\[Degree]"}]}], "]"}], ",", 
      RowBox[{"Rotate", "[", 
       RowBox[{"\"\<M LAV\[RightArrow]ELEC\>\"", ",", 
        RowBox[{"90", " ", "\[Degree]"}]}], "]"}]}], "}"}]}]}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.522573551291421*^9, 3.522573565345852*^9}, {
  3.522574137827124*^9, 3.52257414195213*^9}, {3.522574242803145*^9, 
  3.522574252903051*^9}, {3.522574437795468*^9, 3.522574447792652*^9}, {
  3.522574973832522*^9, 3.522575241075499*^9}, {3.522575290059344*^9, 
  3.522575294243504*^9}, {3.522575417626148*^9, 3.522575419178444*^9}, {
  3.522575470943506*^9, 3.522575479461371*^9}, {3.52257580235837*^9, 
  3.52257580342216*^9}, {3.52257586876653*^9, 3.522575890671579*^9}}],

Cell[BoxData[
 GraphicsBox[{
   {Opacity[0], PointBox[{{0.4545454545454546, 0.}}]}, 
   {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
    EdgeForm[Opacity[0.7]], {}, 
    {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
     EdgeForm[Opacity[0.7]], 
     {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
      EdgeForm[Opacity[0.7]], 
      TagBox[
       TooltipBox[
        TagBox[
         DynamicBox[{
           FEPrivate`If[
            CurrentValue["MouseOver"], 
            EdgeForm[{
              GrayLevel[0.5], 
              AbsoluteThickness[1.5], 
              Opacity[0.66]}], {}, {}], 
           
           RectangleBox[{0.5454545454545454, 0.}, {1.4545454545454546`, 
            0.446809}, "RoundingRadius" -> 0]},
          
          ImageSizeCache->{{31.647495361781075`, 
           79.12244897959185}, {-164.23409815707998`, 89.52919030308105}}],
         StatusArea[#, 0.446809]& ,
         TagBoxNote->"0.446809"],
        StyleBox["0.446809`", {
          GrayLevel[0]}, StripOnInput -> False]],
       Annotation[#, 
        Style[0.446809, {
          GrayLevel[0]}], "Tooltip"]& ]}, 
     {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
      EdgeForm[Opacity[0.7]], 
      TagBox[
       TooltipBox[
        TagBox[
         DynamicBox[{
           FEPrivate`If[
            CurrentValue["MouseOver"], 
            EdgeForm[{
              GrayLevel[0.5], 
              AbsoluteThickness[1.5], 
              Opacity[0.66]}], {}, {}], 
           
           RectangleBox[{1.5454545454545454`, 0.}, {2.4545454545454546`, 
            0.12766}, "RoundingRadius" -> 0]},
          
          ImageSizeCache->{{82.76994434137292, 130.2448979591837}, {
           16.310946255122843`, 89.52919030308105}}],
         StatusArea[#, 0.12766]& ,
         TagBoxNote->"0.12766"],
        StyleBox["0.12766`", {
          GrayLevel[0]}, StripOnInput -> False]],
       Annotation[#, 
        Style[0.12766, {
          GrayLevel[0]}], "Tooltip"]& ]}, 
     {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
      EdgeForm[Opacity[0.7]], 
      TagBox[
       TooltipBox[
        TagBox[
         DynamicBox[{
           FEPrivate`If[
            CurrentValue["MouseOver"], 
            EdgeForm[{
              GrayLevel[0.5], 
              AbsoluteThickness[1.5], 
              Opacity[0.66]}], {}, {}], 
           
           RectangleBox[{2.5454545454545454`, 0.}, {3.4545454545454546`, 
            0.0851064}, "RoundingRadius" -> 0]},
          
          ImageSizeCache->{{133.89239332096477`, 181.36734693877557`}, {
           40.38384512649363, 89.52919030308105}}],
         StatusArea[#, 0.0851064]& ,
         TagBoxNote->"0.0851064"],
        StyleBox["0.0851064`", {
          GrayLevel[0]}, StripOnInput -> False]],
       Annotation[#, 
        Style[0.0851064, {
          GrayLevel[0]}], "Tooltip"]& ]}, 
     {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
      EdgeForm[Opacity[0.7]], 
      TagBox[
       TooltipBox[
        TagBox[
         DynamicBox[{
           FEPrivate`If[
            CurrentValue["MouseOver"], 
            EdgeForm[{
              GrayLevel[0.5], 
              AbsoluteThickness[1.5], 
              Opacity[0.66]}], {}, {}], 
           
           RectangleBox[{3.5454545454545454`, 0.}, {4.454545454545454, 
            0.0851064}, "RoundingRadius" -> 0]},
          
          ImageSizeCache->{{185.01484230055664`, 232.48979591836738`}, {
           40.38384512649363, 89.52919030308105}}],
         StatusArea[#, 0.0851064]& ,
         TagBoxNote->"0.0851064"],
        StyleBox["0.0851064`", {
          GrayLevel[0]}, StripOnInput -> False]],
       Annotation[#, 
        Style[0.0851064, {
          GrayLevel[0]}], "Tooltip"]& ]}, 
     {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
      EdgeForm[Opacity[0.7]], 
      TagBox[
       TooltipBox[
        TagBox[
         DynamicBox[{
           FEPrivate`If[
            CurrentValue["MouseOver"], 
            EdgeForm[{
              GrayLevel[0.5], 
              AbsoluteThickness[1.5], 
              Opacity[0.66]}], {}, {}], 
           
           RectangleBox[{4.545454545454545, 0.}, {5.454545454545454, 
            0.0425532}, "RoundingRadius" -> 0]},
          
          ImageSizeCache->{{236.13729128014845`, 283.6122448979592}, {
           64.45651771478734, 89.52919030308105}}],
         StatusArea[#, 0.0425532]& ,
         TagBoxNote->"0.0425532"],
        StyleBox["0.0425532`", {
          GrayLevel[0]}, StripOnInput -> False]],
       Annotation[#, 
        Style[0.0425532, {
          GrayLevel[0]}], "Tooltip"]& ]}, 
     {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
      EdgeForm[Opacity[0.7]], 
      TagBox[
       TooltipBox[
        TagBox[
         DynamicBox[{
           FEPrivate`If[
            CurrentValue["MouseOver"], 
            EdgeForm[{
              GrayLevel[0.5], 
              AbsoluteThickness[1.5], 
              Opacity[0.66]}], {}, {}], 
           
           RectangleBox[{5.545454545454545, 0.}, {6.454545454545454, 
            0.0425532}, "RoundingRadius" -> 0]},
          
          ImageSizeCache->{{287.2597402597403, 334.7346938775511}, {
           64.45651771478734, 89.52919030308105}}],
         StatusArea[#, 0.0425532]& ,
         TagBoxNote->"0.0425532"],
        StyleBox["0.0425532`", {
          GrayLevel[0]}, StripOnInput -> False]],
       Annotation[#, 
        Style[0.0425532, {
          GrayLevel[0]}], "Tooltip"]& ]}, 
     {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
      EdgeForm[Opacity[0.7]], 
      TagBox[
       TooltipBox[
        TagBox[
         DynamicBox[{
           FEPrivate`If[
            CurrentValue["MouseOver"], 
            EdgeForm[{
              GrayLevel[0.5], 
              AbsoluteThickness[1.5], 
              Opacity[0.66]}], {}, {}], 
           
           RectangleBox[{6.545454545454545, 0.}, {7.454545454545454, 
            0.0425532}, "RoundingRadius" -> 0]},
          
          ImageSizeCache->{{338.38218923933215`, 385.85714285714295`}, {
           64.45651771478734, 89.52919030308105}}],
         StatusArea[#, 0.0425532]& ,
         TagBoxNote->"0.0425532"],
        StyleBox["0.0425532`", {
          GrayLevel[0]}, StripOnInput -> False]],
       Annotation[#, 
        Style[0.0425532, {
          GrayLevel[0]}], "Tooltip"]& ]}, 
     {RGBColor[0.798413061722744, 0.824719615472648, 0.968322270542458], 
      EdgeForm[Opacity[0.7]], 
      TagBox[
       TooltipBox[
        TagBox[
         DynamicBox[{
           FEPrivate`If[
            CurrentValue["MouseOver"], 
            EdgeForm[{
              GrayLevel[0.5], 
              AbsoluteThickness[1.5], 
              Opacity[0.66]}], {}, {}], 
           
           RectangleBox[{7.545454545454545, 0.}, {8.454545454545453, 
            0.0212766}, "RoundingRadius" -> 0]},
          
          ImageSizeCache->{{389.504638218924, 436.97959183673476`}, {
           76.4928540089342, 89.52919030308105}}],
         StatusArea[#, 0.0212766]& ,
         TagBoxNote->"0.0212766"],
        StyleBox["0.0212766`", {
          GrayLevel[0]}, StripOnInput -> False]],
       Annotation[#, 
        Style[0.0212766, {
          GrayLevel[0]}], 
        "Tooltip"]& ]}}, {}, {}}, {}, {{{{{{{}, {}}, {}}, {{{}, {}}, {}}, \
{{{}, {}}, {}}, {{{}, {}}, {}}, {{{}, {}}, {}}, {{{}, {}}, {}}, {{{}, {}}, \
{}}, {{{}, {}}, {}}}, {}}, {}}, {}}, GraphicsGroupBox[
    {GrayLevel[0], 
     StyleBox[
      GraphicsGroupBox[{
        LineBox[{{{0.5454545454545454, 0.}, 
           Offset[{0, -4}, {0.5454545454545454, 0.}]}, {{8.454545454545453, 
           0.}, Offset[{0, -4}, {8.454545454545453, 0.}]}}], InsetBox[
         PaneBox[
          RotationBox["\<\"M LAV\[RightArrow]CORR\"\>",
           BoxRotation->1.5707963267948966`]], Offset[{0, -2}, {1., 0.}], 
         ImageScaled[{Rational[1, 2], 1}]], InsetBox[
         PaneBox[
          RotationBox["\<\"JAN CL\[RightArrow]SHAFT\"\>",
           BoxRotation->1.5707963267948966`]], Offset[{0, -2}, {2., 0.}], 
         ImageScaled[{Rational[1, 2], 1}]], InsetBox[
         PaneBox[
          RotationBox["\<\"M LAV\[RightArrow]SHAFT\"\>",
           BoxRotation->1.5707963267948966`]], Offset[{0, -2}, {3., 0.}], 
         ImageScaled[{Rational[1, 2], 1}]], InsetBox[
         PaneBox[
          RotationBox["\<\"JAN CL\[RightArrow]F LAV\"\>",
           BoxRotation->1.5707963267948966`]], Offset[{0, -2}, {4., 0.}], 
         ImageScaled[{Rational[1, 2], 1}]], InsetBox[
         PaneBox[
          RotationBox["\<\"JAN CL\[RightArrow]CORR\"\>",
           BoxRotation->1.5707963267948966`]], Offset[{0, -2}, {5., 0.}], 
         ImageScaled[{Rational[1, 2], 1}]], InsetBox[
         PaneBox[
          RotationBox["\<\"JAN CL\[RightArrow]STAIR\"\>",
           BoxRotation->1.5707963267948966`]], Offset[{0, -2}, {6., 0.}], 
         ImageScaled[{Rational[1, 2], 1}]], InsetBox[
         PaneBox[
          RotationBox["\<\"JAN CL\[RightArrow]ELEV\"\>",
           BoxRotation->1.5707963267948966`]], Offset[{0, -2}, {7., 0.}], 
         ImageScaled[{Rational[1, 2], 1}]], InsetBox[
         PaneBox[
          RotationBox["\<\"M LAV\[RightArrow]ELEC\"\>",
           BoxRotation->1.5707963267948966`]], 
         Offset[{0, -2}, {7.999999999999999, 0.}], 
         ImageScaled[{Rational[1, 2], 1}]]}],
      Antialiasing->False]}]},
  AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948],
  Axes->{True, True},
  AxesLabel->{
    FormBox["\"Edit operation\"", TraditionalForm], 
    FormBox["\"Probability\"", TraditionalForm]},
  AxesOrigin->{0.4545454545454546, 0},
  FrameTicks->{{Automatic, Automatic}, {Automatic, Automatic}},
  ImageSize->{527., Automatic},
  PlotRangePadding->Scaled[0.02],
  Ticks->{None, Automatic}]], "Output",
 CellChangeTimes->{
  3.522573572439605*^9, {3.522574123019584*^9, 3.522574143012155*^9}, 
   3.522574399286606*^9, 3.522574452385967*^9, {3.522575002922008*^9, 
   3.522575033568123*^9}, {3.522575162511707*^9, 3.522575183474996*^9}, {
   3.522575219367911*^9, 3.522575241539377*^9}, 3.522575294915101*^9, 
   3.522575389655136*^9, 3.52257542147251*^9, 3.522575482791307*^9, 
   3.522575805516361*^9, {3.522575873061401*^9, 3.522575892166408*^9}}]
}, Open  ]],

Cell[BoxData[
 RowBox[{"Labels", ":=", 
  RowBox[{"{", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"1", ",", "\"\<M LAV->CORR\>\""}], "}"}], ",", " ", 
    RowBox[{"{", 
     RowBox[{"2", ",", "\"\<JAN CL, SHAFT\>\""}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "\"\<M LAV,SHAFT\>\""}], "}"}], ",", " ", 
    RowBox[{"{", 
     RowBox[{"4", ",", "\"\<JAN CL,F LAV\>\""}], "}"}], ",", " ", 
    RowBox[{"{", 
     RowBox[{"5", ",", "\"\<JAN CL,CORR\>\""}], "}"}], ",", " ", 
    RowBox[{"{", 
     RowBox[{"6", ",", "\"\<JAN CL, STAIR\>\""}], "}"}], ",", " ", 
    RowBox[{"{", 
     RowBox[{"7", ",", "\"\<JAN CL, ELEV\>\""}], "}"}], ",", " ", 
    RowBox[{"{", 
     RowBox[{"8", ",", "\"\<M LAV, ELEC\>\""}], "}"}]}], "}"}]}]], "Input",
 CellChangeTimes->{{3.522574254506031*^9, 3.52257439594928*^9}, {
  3.522575792042604*^9, 3.522575794646035*^9}}],

Cell[CellGroupData[{

Cell[BoxData[""], "Input",
 CellChangeTimes->{{3.522574909989317*^9, 3.522574923940268*^9}}],

Cell[BoxData[
 RowBox[{
  RowBox[{"{", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{"1", ",", "0.446809`"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"2", ",", "0.12766`"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"3", ",", "0.0851064`"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"4", ",", "0.0851064`"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"5", ",", "0.0425532`"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"6", ",", "0.0425532`"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"7", ",", "0.0425532`"}], "}"}], ",", 
    RowBox[{"{", 
     RowBox[{"8", ",", "0.0212766`"}], "}"}]}], "}"}], "[", 
  RowBox[{"1", ",", "0"}], "]"}]], "Output",
 CellChangeTimes->{{3.522574911004203*^9, 3.522574917908193*^9}}]
}, Open  ]],

Cell[BoxData[
 RowBox[{"<<", " ", "PlotLegends`"}]], "Input",
 CellChangeTimes->{{3.522582831974245*^9, 3.522582833369696*^9}}],

Cell[BoxData[
 RowBox[{"ShowLegend", "[", 
  RowBox[{"plot", ",", " ", 
   RowBox[{"Legend", "[", 
    RowBox[{"{", "\"\<test\>\"", "}"}], "]"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.522583199879286*^9, 3.522583231452769*^9}, {
  3.522583303494791*^9, 3.522583311847595*^9}, {3.522583384018533*^9, 
  3.522583385189201*^9}}],

Cell[BoxData[
 RowBox[{"ShowLegend", "[", 
  RowBox[{
   GraphicsBox[{{}, {}, 
     {Hue[0.67, 0.6, 0.6], LineBox[CompressedData["
1:eJxTTMoPSmViYGCQBGIQDQEf7A9/1YjpP/TQHirgcH1xgS3X9cdQPoeDMRjA
+AIObwJ3yLW+hqkXcVgCUr74AZQv4cAFNgCmXsZBvvU1UAdMvYIDxL67UL6S
gyaQ91XjDpSvAtV/H8pXg7rnNpSvAbXvBpSvhWaejgPItJj+W1C+HtT+q1C+
AdT861C+oQPIN4E7rkH5Rg7r3B9WiayDyRs7gHjuDy9B+SZQ/iko39ThG8j6
ryegfDOoe45C+eZQ8/dB+RYOs2aCwE4o39IhCKzghD0AW3lzNw==
       "]]}, 
     {Hue[0.9060679774997897, 0.6, 0.6], LineBox[CompressedData["
1:eJxTTMoPSmViYGCQBGIQDQEf7A9/1YjpP/TQHirgELRDrvV14BMon8MByAGK
PIbyBRxQ1Ys4gJXveATlSzicPQMCMP0yDkDFQB0w/QoO30Davz6A8pUcZs0E
AZh5Kg7yYAthfDWoeXegfA2HNyDnvL4J5Ws5pIHBPShfx0ETbCFMvZ6DLdf1
xQW2t6B8AzS+IdR+mHlGUPOuQfnGaHwTB7B3+i9B+aZQ/1yA8s0cRNa5P6wS
gak3dwDZxnX9MpRvAXXfGSjfEmreLXsArNt4XA==
       "]]}},
    AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948],
    Axes->True,
    AxesLabel->{
      FormBox["\"Partial graph size\"", TraditionalForm], 
      FormBox["\"Correct predictions\"", TraditionalForm]},
    AxesOrigin->{0, 0},
    PlotRange->{{0, 25}, {0., 0.7}},
    PlotRangeClipping->True,
    PlotRangePadding->{Automatic, Automatic},
    ImageCache->GraphicsData["CompressedBitmap", "\<\
eJyNV3dcE9kWnkklEOqDFQUpofciIKIriIIIKigWFlyVpmLDghR/q2tDw+oq
rKCUUIX1qSiouDxdXRUXUewUpemigCAhhBIgdebNTBJIIur+MffO3HtPud89
53x3loTHbYreFh4XExlutHBX+I5NMZG7jXxjdyFDeBAAgFDkoRkB6DuMvEqa
UACGYXRStvsO61SR9lNjiTWBDxJJMAEARAAOB+FAwg1j/7COBfpKIgKO0EnV
Mx7TUSLcp84tA1iI1EyxiilYR7Uea/y50dU6tD3ekPRC2dGo6T8WW6dc62G/
KHXEIatUTBLaoCh2jjHyTnAJfSKSSOtinYrHYHUM15yMayRZ03JNIp4CHHiw
utKDCAEgyXPR3WFXuDYExgFA7NRT3YC8KNL2dObo4UU4HP4exfM6MAT3duTo
4xBRintQzXBi+zF9GATAKIMc5iSi7wqMSb1KOjhky2Y7d5z8iRmkDaKiN+z8
vZtmWJgL1fBKPj63BqWiE4gJEtropjem+J9vP21IrFO2IyNixtoMJnz0Q5Iq
8q6vfYYJu4/VrOFSyZZTCnoUETPnNR/pd9JUHdRQo7JUtdRGqRTVt1Nppj3G
U1SQvYICHIEoJOBxH4lTD+CaRbBE2h/ryEgrch+oOXJt9ZItUfSc4rDzxVn0
owmpmtX9QoAiu1QJ9TW0qyQ03XPLLaWuMaEqf6jt3JU1VsFzS3sAEQwriVcr
Y52GPtxxBNIBsRhAIR8FKPYBMRWfyh4H4dFIYhG05j3b50yGQBBAdgki2KJr
dQK2VPQBAhhWwdTQUKOzWA9LmuItNLONo7OsKxuHUGPorNXo6+P1AbZz9kcc
TD+c8ZNvm4HJuplZj5gLev482eUzzWDritN/UJuGRQRY0FX6e7Blgd06uuvF
Wub8T7fTOv30DDesynpg11n3mQ73rJquwObyn5k22hbLky434TgiJJpRd9S0
hcw/nm90Mqp28PC84+W9KHV1bIbGIzZ3AVPepKJrIKpXio16/VVbNJsIzzWd
cs8+3URG8figPD3KprYh/bmn04p5WXde1pS4kwQgwbzJxiJweCUVDX4w2Ll0
BIsZGDBCWva9vzynr3S/2C0FBHn4m9sznK8aLX0ADMJQALNibrlpYDXyDlPg
0YZX8fYzTH9p5aFrVWDOszdRljOM097x0W+Zec6XdKjDA1VvfWmeWrdYMBEz
iLcae73vxiz/myALQr7EgaJg6jOXQEyfJLo0kLZOGIRHAaHk6kc89eNUuqCA
DIFUC7OjLVx0FQhDnW9/o+FZeC03prW2Jm8qCUTXHKTu/0eMB0ERDxw2PE1V
NPQy8dyxw1GpOcW7i044l9GCHn4FDlfDM+2KcPC+pONzONSUoZHG0vTgBZvj
MgoSMukpDiUvB1FvFM0pqgQxnTKQ3IM9sIqr/KvxrjrP0XueaH4gOWRov/3V
iOSs+96UWOJHQcqs47vjHCASiK7HBzuWsrFzIKDlmiQXLLpZxhtOrzl3Ljvx
xLFs/dsdXF1e9/WI1NwmcAQShH0odi8zQbwYErvbEG9jYxtfP0qABEIV6HN0
6vbYYdvR5U+uQxYdcfaoo8VmZffF2dXTPcpwn0Sw/cirHc9tnOjkVu5nJhVd
A0BMsVzUBGNRoyyJGmfFqEEeTuVdPzIHp2JS6eHnDKljpUbdZnMDF4MIh0Kk
NGk+QTOHHu1qsTSLNKr6p6rw6No1G/dn5pw/EuK9KuLCR6Q+Cef0P0hrDLR2
3LsjeVvrHNN5m9LPHuyeo2uUEEZnOJa+6J/d93fm7fXzAw2z2/maov4Hk+iY
LICm8btKL+9cHh6VnFOQcjp+SaWP30bfwze75/TKmVtoUdp0X1YliOmUFpgX
Vx3FBUbLKU+mwERTa4elhYJbcT+AJATwLik/xcdxfcjoejWDfe/FqYTmMkb3
ksJCGmcLuSTTF3TkdbvouuoVdErZgoyDRazCm2v9DLPEsYLkLs+c2dxKYAuk
evCyG5fIoQcCkQVc0TjZjHOJOsIldEgX4xI8emgcUMXZb1tlL4qhxEUotit1
Oow4jfAJVhqQg9aw3VjPBagT7OXBqi5u2mOheYYWkxly4Xx27qGIRQmh9Ic4
tggWmyLpjXX+pdY4iHlBhYdrm9eZ29kkNIwSx6uM0Ha4Pv+D2/S5qPPaYj+9
x2cFFuymmsU3r/9J+siTzsrflXSwjojAMhbQUXGkd4YOLTKa8RepmwcDXrKX
A7wqPPS4JcTMXa8IQXeeeArQkqUZJGlaGIzI+YV+a3cc2Pvzgc2HMx4ps0fa
svOjvS7NXrFl/96DR9alFDQQh/myDMgGhLAkJ91QIx0h+jqps2NPReYyTpbE
hW6wz3jFXtArz2hfMNVawFjnUTYzKGb3vhO/1sS762bTovOW37p8UkqwVNbw
t9yRI2QVFuf9qfM7VuzdkJwZy0iNzw9Z/6ta7SBvft/EGg0m+3XKpXiLOh27
QyZX24a/Z1UlnPxx5/HIbMap7N3RJ1SfDUFqErw0ZMquCGEf38eGbnmEDgEW
NFPGeuqDWsoWNupZH1BqHEPHRJaDb+5rdbPGyZE0gRNyGG7Tcz8I0JHvB6pC
npi6pKq/G2j4lollLVd86/Vtk8lNXHRsoLQq2CTcLa+DIhhnhTFE7qtuKJAS
d2Hf/xbXGrkyCB8wO4PF1WGmiQ7HWihcOaaBFvX9MfeGiT9KvoL5PbeLVZo5
sBI09ro2zdXKacNzjhQnFRkhXlzbcbuX3znsXX8mP39jfmbyufA1W1PS420q
DAJQRTAgZle8HGuKgdKTi1pkxIzbktxua7jsu4efGv6ljb8xG0j1zn0aYRXu
LgfUMCJnr+DH1K+wN7b+msESqU5uQivdrtwwsJoy+EWgYITvGlLzY/3fOxgY
5cyKYlCaRyFgPKJkaErgzboT/NjEDTsGHai3vH2Oodeq/AsraszcC/GdQpgM
c9//cPX3B+p9A+MeykTU2xCag2lKK0pXkC/r5rLXBlZJmo39Dd8ysazwStgT
c5cMYjsf3dRw0ZMfLcJnioGSEDPXi3131dfcUCByrg/r1tJaY/mIindMaaXw
MGa2ctz5Ar15CEM/lohJHrnOLem9Nu+i5coi9YYBntlQSy2xjw9LcdKS5Su9
K50dx8oS18TuSs07lpG4cvu6tDoih99z8Mb+iNi41PyjZ5OWZvpsLFz95L+H
ZWgUuzyJr5Xofwvfr6cyudnLfMb2pLSzySf2htd5280N3FbeqUiPk5kjcAR9
CXfp0Ulbj2ZHFjGS20JNdMJd8tpn904wNfKr8C2X5JidBPM6frm054c9W37J
21KYnpQbFnFS7ckg//v+Ksyf7XFp2ft+OxRTt8hutnfsHRa6HV1Bd/npxK30
9Yz8U0U7f6RT3ozC0uASX2bxchyqO87A4/kACiY4lfgvaNdIrF1sBC/LcZK/
SBJFNNp8/dJiGlqWqIIJ3iN9nRYlii3F/Kci4rTNr71dQbv5dgSAYNh+Mv4D
wP8DYJmEww==\
\>"]], ",", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{
         RowBox[{"Graphics", "[", 
          RowBox[{"{", 
           RowBox[{"Red", ",", 
            RowBox[{"Disk", "[", 
             RowBox[{
              RowBox[{"{", 
               RowBox[{"0", ",", "0"}], "}"}], ",", "1"}], "]"}]}], "}"}], 
          "]"}], ",", "\"\<A\>\""}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"Graphics", "[", 
          RowBox[{"{", 
           RowBox[{"Blue", ",", 
            RowBox[{"Disk", "[", 
             RowBox[{
              RowBox[{"{", 
               RowBox[{"0", ",", "0"}], "}"}], ",", "1"}], "]"}]}], "}"}], 
          "]"}], ",", "\"\<B\>\""}], "}"}]}], "}"}], ",", 
     RowBox[{"LegendPosition", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{"1", ",", 
        RowBox[{"-", ".5"}]}], "}"}]}], ",", 
     RowBox[{"LegendSize", "\[Rule]", ".5"}]}], "}"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.522583865494993*^9, 3.522583865650522*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Legend", "[", 
  RowBox[{"{", "\"\<test\>\"", "}"}], "]"}]], "Input"],

Cell[BoxData[
 RowBox[{"Legend", "[", 
  RowBox[{"{", "\<\"test\"\>", "}"}], "]"}]], "Output",
 CellChangeTimes->{3.522583400161718*^9}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"PlotLegend", "\[Rule]", 
  RowBox[{"{", 
   RowBox[{
   "\"\<Algorithm 1\>\"", ",", " ", "\"\<Brute force prediction\>\""}], 
   "}"}]}]], "Input"],

Cell[BoxData[
 RowBox[{"PlotLegend", "\[Rule]", 
  RowBox[{"{", 
   RowBox[{"\<\"Algorithm 1\"\>", ",", "\<\"Brute force prediction\"\>"}], 
   "}"}]}]], "Output",
 CellChangeTimes->{{3.522583925567882*^9, 3.522583927486239*^9}}]
}, Open  ]],

Cell[BoxData[
 RowBox[{"ShowLegend", "[", 
  RowBox[{"plot", ",", "\[IndentingNewLine]", 
   RowBox[{"{", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{
         RowBox[{"Graphics", "[", 
          RowBox[{"{", 
           RowBox[{"Red", ",", 
            RowBox[{"Line", "[", 
             RowBox[{"{", 
              RowBox[{
               RowBox[{"{", 
                RowBox[{"0", ",", "0"}], "}"}], ",", 
               RowBox[{"{", 
                RowBox[{"5", ",", "0"}], "}"}]}], "}"}], "]"}]}], "}"}], 
          "]"}], ",", "\"\<Line a\>\""}], "}"}], ",", 
       RowBox[{"{", 
        RowBox[{
         RowBox[{"Graphics", "[", 
          RowBox[{"{", 
           RowBox[{
            RowBox[{"Directive", "[", 
             RowBox[{"Blue", ",", "Dashed"}], "]"}], ",", 
            RowBox[{"Line", "[", 
             RowBox[{"{", 
              RowBox[{
               RowBox[{"{", 
                RowBox[{"0", ",", "0"}], "}"}], ",", 
               RowBox[{"{", 
                RowBox[{"5", ",", "0"}], "}"}]}], "}"}], "]"}]}], "}"}], 
          "]"}], ",", "\"\<Line b\>\""}], "}"}]}], "}"}], ",", 
     RowBox[{"LegendSize", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{"0.7", ",", "0.2"}], "}"}]}], ",", 
     RowBox[{"LegendPosition", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{"0", ",", 
        RowBox[{"-", "0.85"}]}], "}"}]}], ",", 
     RowBox[{"BaseStyle", "\[Rule]", 
      RowBox[{"{", 
       RowBox[{
        RowBox[{"FontSize", "\[Rule]", "12"}], ",", 
        RowBox[{"FontWeight", "\[Rule]", "\"\<Bold\>\""}]}], "}"}]}]}], 
    "}"}]}], " ", "]"}]], "Input",
 CellChangeTimes->{{3.522584123428913*^9, 3.522584133348477*^9}, {
  3.522584167547966*^9, 3.522584170952982*^9}}],

Cell[BoxData[
 RowBox[{"BFFull2000Data", " ", ":=", 
  RowBox[{"Import", "[", 
   RowBox[{
   "\"\<//home//erikj//Documents//Mathematica//FullGraphBF2000.dat\>\"", ",", 
    " ", "\"\<Table\>\""}], "]"}]}]], "Input",
 CellChangeTimes->{{3.522733667146547*^9, 3.522733686205069*^9}}],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"plot", "=", 
  RowBox[{"ListLinePlot", "[", 
   RowBox[{
    RowBox[{"{", "BFFull2000Data", " ", "}"}], ",", " ", 
    RowBox[{"AxesLabel", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{
      "\"\<Partial graph size\>\"", ",", " ", "\"\<Correct predictions\>\""}],
       "}"}]}], ",", " ", 
    RowBox[{"PlotRange", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", " ", "25"}], "}"}], ",", " ", 
       RowBox[{"{", 
        RowBox[{"0.0", ",", "0.7"}], "}"}]}], "}"}]}], ",", " ", 
    RowBox[{"PlotStyle", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{"Directive", "[", "Red", "]"}], "}"}]}]}], "]"}]}]], "Input",
 CellChangeTimes->{{3.522733698916607*^9, 3.522733717310524*^9}}],

Cell[BoxData[
 GraphicsBox[{{}, {}, 
   {RGBColor[1, 0, 0], LineBox[CompressedData["
1:eJxTTMoPSmViYGCQBGIQDQEf7JPfRTnZvXhoDxVwiGyzuHY09wmUz+HQfODU
QtdtMHkBB8ni60KfHO9D+SIOKdb3/Xun34LyJRzUF3RuePjyKpQv4yAbBVJx
EcpXcFjq5yCcePg0lK/k0Kzvs4zL7SiUr+JQuKb7dgbDfihfzeGKdqrko4jt
UL6Gg9DSvQfF1RZD+VoO9uHRG/e/mQfl6zhM+cYWP8NnKpSv58C3z2CmlgSM
b+Cgn7eYcQ9rEJRv6KDrLPP6kZkUlG/kwIACjNH4Jmh8UzS+GRrfHI1vgca3
hPMBcMVLKA==
     "]]}},
  AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948],
  Axes->True,
  AxesLabel->{
    FormBox["\"Partial graph size\"", TraditionalForm], 
    FormBox["\"Correct predictions\"", TraditionalForm]},
  AxesOrigin->{0, 0},
  ImageSize->{564., Automatic},
  PlotRange->{{0, 25}, {0., 0.7}},
  PlotRangeClipping->True,
  PlotRangePadding->{Automatic, Automatic}]], "Output",
 CellChangeTimes->{{3.522733702560934*^9, 3.522733718269459*^9}}]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"plot", "=", 
  RowBox[{"ListLinePlot", "[", 
   RowBox[{
    RowBox[{"{", 
     RowBox[{
     "BFFull2000Data", " ", ",", "NBF2000Data", ",", " ", "BFFull2000Data"}], 
     "}"}], ",", " ", 
    RowBox[{"AxesLabel", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{
      "\"\<Partial graph size\>\"", ",", " ", "\"\<Correct predictions\>\""}],
       "}"}]}], ",", " ", 
    RowBox[{"PlotRange", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"{", 
        RowBox[{"0", ",", " ", "25"}], "}"}], ",", " ", 
       RowBox[{"{", 
        RowBox[{"0.0", ",", "0.7"}], "}"}]}], "}"}]}], ",", " ", 
    RowBox[{"PlotStyle", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"Directive", "[", 
        RowBox[{"Blue", ",", " ", "Dashed"}], "]"}], ",", 
       RowBox[{"Directive", "[", "Red", "]"}]}], "}"}]}]}], "]"}]}]], "Input",\

 CellChangeTimes->{3.522734365685662*^9}],

Cell[BoxData[
 GraphicsBox[{{}, {}, 
   {RGBColor[0, 0, 1], Dashing[{Small, Small}], LineBox[CompressedData["
1:eJxTTMoPSmViYGCQBGIQDQEf7JPfRTnZvXhoDxVwiGyzuHY09wmUz+HQfODU
QtdtMHkBB8ni60KfHO9D+SIOKdb3/Xun34LyJRzUF3RuePjyKpQv4yAbBVJx
EcpXcFjq5yCcePg0lK/k0Kzvs4zL7SiUr+JQuKb7dgbDfihfzeGKdqrko4jt
UL6Gg9DSvQfF1RZD+VoO9uHRG/e/mQfl6zhM+cYWP8NnKpSv58C3z2CmlgSM
b+Cgn7eYcQ9rEJRv6KDrLPP6kZkUlG/kwIACjNH4Jmh8UzS+GRrfHI1vgca3
hPMBcMVLKA==
     "]]}, 
   {RGBColor[1, 0, 0], LineBox[CompressedData["
1:eJxTTMoPSmViYGCQBGIQDQEf7E+W7Zsvpf/QHirg0Ds9T6j5wBMon8Phrgpb
41Tnx1C+gAPX9cUFtlwwvohD6WQJljA+GF/CQVofpAPGl3HY9vnvlYqXj6B8
BQew9FSYfUoO894vP+ZtDuOrOGjG9B/6qvEAyldzABquu2nufShfw0G+9XXg
Drm7UL6Wg495p2PC0ztQvo7DAimQDTB5PYc0MLgF5Rs4dOc8/73yI4xv6GBv
GrfLkwfGN3IAhcZdlWtQvrHDSzVDjjUyML6Jw2XfJIEIyytQvqnDprkgD1yG
8s0cdsiBHHgJyjeHuvcqlG8BDb/zUL6lg8fDKpF17jftAbbwayM=
     "]]}, 
   {RGBColor[0, 0, 1], Dashing[{Small, Small}], LineBox[CompressedData["
1:eJxTTMoPSmViYGCQBGIQDQEf7JPfRTnZvXhoDxVwiGyzuHY09wmUz+HQfODU
QtdtMHkBB8ni60KfHO9D+SIOKdb3/Xun34LyJRzUF3RuePjyKpQv4yAbBVJx
EcpXcFjq5yCcePg0lK/k0Kzvs4zL7SiUr+JQuKb7dgbDfihfzeGKdqrko4jt
UL6Gg9DSvQfF1RZD+VoO9uHRG/e/mQfl6zhM+cYWP8NnKpSv58C3z2CmlgSM
b+Cgn7eYcQ9rEJRv6KDrLPP6kZkUlG/kwIACjNH4Jmh8UzS+GRrfHI1vgca3
hPMBcMVLKA==
     "]]}},
  AspectRatio->NCache[GoldenRatio^(-1), 0.6180339887498948],
  Axes->True,
  AxesLabel->{
    FormBox["\"Partial graph size\"", TraditionalForm], 
    FormBox["\"Correct predictions\"", TraditionalForm]},
  AxesOrigin->{0, 0},
  ImageSize->{601., Automatic},
  PlotRange->{{0, 25}, {0., 0.7}},
  PlotRangeClipping->True,
  PlotRangePadding->{Automatic, Automatic}]], "Output",
 CellChangeTimes->{3.522734367558049*^9}]
}, Open  ]]
},
WindowSize->{740, 859},
WindowMargins->{{403, Automatic}, {5, Automatic}},
FrontEndVersion->"8.0 for Linux x86 (32-bit) (November 7, 2010)",
StyleDefinitions->"Default.nb"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[557, 20, 568, 10, 69, "Input"],
Cell[1128, 32, 158, 3, 30, "Input"],
Cell[1289, 37, 404, 8, 69, "Input"],
Cell[CellGroupData[{
Cell[1718, 49, 1761, 39, 88, "Input"],
Cell[3482, 90, 17748, 298, 307, 1278, 27, "CachedBoxData", "BoxData", "Output"]
}, Open  ]],
Cell[21245, 391, 320, 7, 50, "Input"],
Cell[21568, 400, 198, 6, 30, "Input"],
Cell[21769, 408, 369, 8, 69, "Input"],
Cell[CellGroupData[{
Cell[22163, 420, 1971, 41, 107, "Input"],
Cell[24137, 463, 10375, 266, 386, "Output"]
}, Open  ]],
Cell[34527, 732, 864, 21, 69, "Input"],
Cell[CellGroupData[{
Cell[35416, 757, 92, 1, 30, "Input"],
Cell[35511, 760, 728, 21, 50, "Output"]
}, Open  ]],
Cell[36254, 784, 127, 2, 30, "Input"],
Cell[36384, 788, 328, 7, 30, "Input"],
Cell[36715, 797, 5807, 117, 115, "Input"],
Cell[CellGroupData[{
Cell[42547, 918, 93, 2, 30, "Input"],
Cell[42643, 922, 136, 3, 30, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[42816, 930, 171, 5, 30, "Input"],
Cell[42990, 937, 229, 5, 30, "Output"]
}, Open  ]],
Cell[43234, 945, 1753, 49, 107, "Input"],
Cell[44990, 996, 282, 6, 69, "Input"],
Cell[CellGroupData[{
Cell[45297, 1006, 749, 20, 69, "Input"],
Cell[46049, 1028, 859, 20, 305, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[46945, 1053, 914, 27, 88, "Input"],
Cell[47862, 1082, 1685, 36, 328, "Output"]
}, Open  ]]
}
]
*)

(* End of internal cache information *)
